Research

Extented introduction to the group. What are the research objectives of the group. To realize these objectives, our research activity is focused on the following topics:

Programming languages and type systems Gradual types, intersection types, linear types, quantitative types, resource analysis, functional programming, logic programming
Program testing and analysis
Program logics and semantics
Software verification and theorem proving Automated program testing, property-based testing
Automata theory and formal languages
Security and cryptography

Projects

Dissertations

Publications